second predicate calculus中文是什么意思

發(fā)音:

中文翻譯

第二階述詞演算

second-order predicate calculus 二階謂詞演算
predicate calculus 述詞計算; 謂詞演算
connective in predicate calculus 謂詞演算中的連接詞
extended predicate calculus 廣義謂詞演算
first order predicate calculus 一階謂詞演算
first-order predicate calculus 一階謂詞演算
high-order predicate calculus 高階謂詞演算
higher order predicate calculus 高階謂詞演算
higher-order predicate calculus 高階謂詞演算
monadic predicate calculus 一元邏輯; 一元謂詞邏輯; 一元謂詞演算
one place predicate calculus 一元謂詞演算
predicate calculus based method 基于謂詞演算的方法
predicate calculus language 謂詞演算語言
predicate calculus of the third order 三階謂詞演算
predicate calculus with identity 帶恒等式的謂詞演算
restricted predicate calculus 狹謂詞演算
unary predicate calculus 一元謂詞演算
pure predicate calculus of first order 一階純謂詞演算
second order predicate 二階述詞
predicate n. 1.【語法】謂語，述語。 2.【邏輯學(xué)】謂項，述項，述詞，賓詞。 3.本質(zhì)；屬性。 adj. 謂語的，述語的；謂項的，述項的。 vt. 1.論斷，斷言；斷定…為某物的屬性；斷定某物有…的屬性 (about; of)。 2.〔美國〕使(聲明、行動等)依據(jù)于 (on; upon), 使基于。 3.宣言，宣布，聲明。 4.意味著，具有…的含義。 5.【語法】表述。 vi. 斷言 (of)。 Can anything be predicated about a non-existent thing 能夠表述不存在的東西嗎？ (We) predicate of the motive that it is good. (我們)斷言這個動機(jī)是好的。
predicate of n變元謂詞; 變項謂詞
predicate on 使基于
calculus n. (pl. calculuses, -li ) 1.【醫(yī)學(xué)】結(jié)石，石；積石；牙垢。 2.【數(shù)學(xué)】運算，演算；微積分(學(xué))。 calculus of finite differences 【數(shù)學(xué)】差分演算(法)，差分學(xué)。 calculus of variation 變分法[學(xué)]。 differential [integral] calculus微[積]分(學(xué))。 urinary calculus【醫(yī)學(xué)】尿結(jié)石。
actional predicate 動作謂語
adjective predicate 形容詞謂語

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

推薦英語閱讀

second predicate calculus的中文翻譯，second predicate calculus是什么意思，怎么用漢語翻譯second predicate calculus，second predicate calculus的中文意思，second predicate calculus的中文，second predicate calculus in Chinese，second predicate calculus的中文，second predicate calculus怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。